Logic programming and digital circuit analysis
نویسندگان
چکیده
منابع مشابه
Logic Rectification of Digital Circuit
As the complexity of the modern VLSI design increases, logic rectification plays very important role for improving the speed and efficiency of design error correction. It is needed for both enabling efficient design revision and fixing implementation errors. This report introduces the general concept of logic rectification and compares the advantages and disadvantages of several different appro...
متن کاملRecognition of digital logic circuit diagrams
When designing digital logic circuits, it is frequently necessary to draw the circuits by hand before implementing the design in RTL. If there are some issues faced during simulation or synthesis of the design, the design process has to be repeated. To speed up the design cycle, it would be beneficial to have an environment that can capture handdrawn digital circuit diagrams and generate the RT...
متن کاملDigital Circuit Optimization via Geometric Programming
This paper concerns a method for digital circuit optimization based on formulating the problem as a geometric program (GP) or generalized geometric program (GGP), which can be transformed to a convex optimization problem and then very efficiently solved. We start with a basic gate scaling problem, with delay modeled as a simple resistor-capacitor (RC) time constant, and then add various layers ...
متن کاملDigital Systems Design Using Constraint Logic Programming
This paper presents an application of finite domain constraint logic programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, ...
متن کاملA hybrid nanomemristor/transistor logic circuit capable of self-programming.
Memristor crossbars were fabricated at 40 nm half-pitch, using nanoimprint lithography on the same substrate with Si metal-oxide-semiconductor field effect transistor (MOS FET) arrays to form fully integrated hybrid memory resistor (memristor)/transistor circuits. The digitally configured memristor crossbars were used to perform logic functions, to serve as a routing fabric for interconnecting ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1987
ISSN: 0743-1066
DOI: 10.1016/0743-1066(87)90022-7